perm filename WALD[W86,JMC] blob sn#809740 filedate 1986-01-31 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	wald[w86,jmc]		issues raised by Waldinger talk, 1986 Jan 30
C00003 ENDMK
CāŠ—;
wald[w86,jmc]		issues raised by Waldinger talk, 1986 Jan 30

1. Can we get the needed stronger theorem by circumscription?

2. Reference to the past in plans.  "When we were at box1 we saw
7 bananas".

3. More general planning where knowledge is important.  In my
opinion, a physically adequate plan, e.g. dial Reagan's private
phone number, should be transformed into an epistemologically
adequate plan, e.g. ask Teller for Reagan's private number and
dial that.